package math;

public interface BooleanExpression extends Expression{

  public BooleanExpression toDNF();
}
